#ifndef RDDDR_H
#define RDDDR_H


#include "xil_cache.h"
#include "xil_io.h"


static INLINE u32 Xil_In32(UINTPTR Addr);

static INLINE s32 Xil_Ins32(UINTPTR Addr)
{
	return *(volatile s32 *) Addr;
}

#endif

